| 1 | Fevzi Belli and Christof J. Budnik and Axel Hollmann and Tugkan Tuglular and W. Eric Wong
Model-based mutation testing - Approach and case studies
Sci. Comput. Program., 120(), 2016. |
|
| | Abstract: Available soon... |
| | @ARTICLE{BelliBHTW16,
author = {Fevzi Belli and Christof J. Budnik and Axel Hollmann and Tugkan Tuglular and W. Eric Wong},
title = {Model-based mutation testing - Approach and case studies},
journal = {Sci. Comput. Program.},
year = {2016},
month = {},
volume = {120},
number = {},
pages = {25--48}
} |
| 2 | Fevzi Belli and Mutlu Beyazit
Exploiting Model Morphology for Event-Based Testing
{IEEE} Trans. Software Eng., 41(2), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{belli_TSE_15,
author = {Fevzi Belli and Mutlu Beyazit},
title = {Exploiting Model Morphology for Event-Based Testing},
journal = {{IEEE} Trans. Software Eng.},
year = {2015},
month = {},
volume = {41},
number = {2},
pages = {113--134}
} |
| 3 | Fevzi Belli and Mutlu Beyazit and Andr{\'{e}} Takeshi Endo and Aditya P. Mathur and Adenilso da Silva Sim{\~{a}}o
Fault domain-based testing in imperfect situations: a heuristic approach and case studies
Software Quality Journal, 23(3), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{belli_SQJ_15,
author = {Fevzi Belli and Mutlu Beyazit and Andr{\'{e}} Takeshi Endo and Aditya P. Mathur and Adenilso da Silva Sim{\~{a}}o},
title = {Fault domain-based testing in imperfect situations: a heuristic approach and case studies},
journal = {Software Quality Journal},
year = {2015},
month = {},
volume = {23},
number = {3},
pages = {423--452}
} |
| 4 | Fevzi Belli and Mutlu Beyazit and Tomohiko Takagi and Zengo Furukawa
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BelliBTF11,
author = {Fevzi Belli and Mutlu Beyazit and Tomohiko Takagi and Zengo Furukawa},
title = {Mutation Testing of "Go-Back" Functions Based on Pushdown Automata},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
year = {2011},
address = {},
month = {},
pages = {249--258}
} |
| 5 | Fevzi Belli and Mutlu Beyazit
Mutation of Directed Graphs-Corresponding Regular Expressions and Complexity of Their Generation
Proceedings of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS'09)Magdeburg, Germany, 06-09 July 2009. |
|
| | Abstract: Directed graphs (DG), interpreted as state transition diagrams, are traditionally used to represent finite-state automata (FSA). In the context of formal languages, both FSA and regular expressions (RE) are equivalent in that they accept and generate, respectively, type-3 (regular) languages. Based on our previous work, this paper analyzes effects of graph manipulations on corresponding RE. In this present, starting stage we assume that the DG under consideration contains no cycles. Graph manipulation is performed by deleting or inserting of nodes or arcs. Combined and/or multiple application of these basic operators enable a great variety of transformations of DG (and corresponding RE) that can be seen as mutants of the original DG (and corresponding RE). DG are popular for modeling complex systems; however they easily become intractable if the system under consideration is complex and/or large. In such situations, we propose to switch to corresponding RE in order to benefit from their compact format for modeling and algebraic operations for analysis. The results of the study are of great potential interest to mutation testing. |
| | @INPROCEEDINGS{BelliB09,
author = {Fevzi Belli and Mutlu Beyazit},
title = {Mutation of Directed Graphs-Corresponding Regular Expressions and Complexity of Their Generation},
booktitle = {Proceedings of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS'09)},
year = {2009},
address = {Magdeburg, Germany},
month = {06-09 July},
pages = {69–77}
} |
| 6 | Fevzi Belli and Axel Hollmann and Sascha Padberg
Communication Sequence Graphs for Mutation-Oriented Integration Testing
Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)Shanghai, China, July 2009. |
|
| | Abstract: Integration testing (IT) plays an important role for validation of the communication between different software components to ensure their optimal cooperation. In this paper we (i) introduce communication sequence graphs (CSG) for integration testing representing the communication between software components on a meta-level, (ii) define coverage criteria based on these graphs, and (iii) give hints how to extend CSG notion by Boolean algebra in order to represent complex data structures of data exchanged between components to be integrated. A case study borrowed from a robot controlling system illustrates CSG as a new integration testing approach. |
| | @INPROCEEDINGS{BelliHP09,
author = {Fevzi Belli and Axel Hollmann and Sascha Padberg},
title = {Communication Sequence Graphs for Mutation-Oriented Integration Testing},
booktitle = {Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)},
year = {2009},
address = {Shanghai, China},
month = {July},
pages = {387–392}
} |
| 7 | Fevzi Belli and Christof J. Budnik and W. Eric Wong
Basic Operations for Generating Behavioral Mutants
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, 2006. |
|
| | Abstract: This paper attempts to subsume the existing great variety of mutation operations to two basic operations, insertion and omission and their combinations. These basic operations are applied to different elements of graph-based models of increasing representation power. A case study applies the approach to these models for generating mutants of different features and compares the fault detection capacity of the mutants generated. |
| | @INPROCEEDINGS{BelliBW06,
author = {Fevzi Belli and Christof J. Budnik and W. Eric Wong},
title = {Basic Operations for Generating Behavioral Mutants},
booktitle = {Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)},
year = {2006},
address = {Raleigh, North Carolina},
month = {},
pages = {9}
} |
